uint32 test_divide(void);
uint32 test_print(void);

uint32 test_reset_cpu0(void);
uint32 test_reset_cpu1(void);

uint32 test_mem(void);

uint32 test_mempool(void);

uint32 test_l2_cache(void);
uint32 test_l2_cache_cpu0(void);
void test_l2_cache_cpu1(void);

uint32 test_scu_cpu0(void);
void test_scu_cpu1(void);

uint32 test_tz_gic_cpu0(void);
void test_tz_gic_cpu1(void);

uint32 test_tz_sdram_rules_cpu0(void);
void test_tz_sdram_rules_cpu1(void);
